${\it es}$ is an event system of $D$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$w$:World. $\exists$$p$:FairFifo. (PossibleWorld($D$;$w$) \& ${\it es}$ = ES($w$))